منابع مشابه
Fair Pipelines
This work facilitates ensuring fairness of machine learning in the real world by decoupling fairness considerations in compound decisions. In particular, this work studies how fairness propagates through a compound decision-making processes, which we call a pipeline. Prior work in algorithmic fairness only focuses on fairness with respect to one decision. However, many decision-making processes...
متن کاملCrossed Laterality
All paired muscle systems are represented in the brain by paired controlling centres. Dominance, or leading control of the function, may be entirely leftsided, in which case the organs controlled are dominant on the right side, or entirely right-sided. If some centres are on the left and some on the right side of the brain, the condition is called crossed laterality. The dominance may be fixed,...
متن کاملMothers of Pipelines
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set architecture (ISA). The MOP vs. ISA correctness theorem splits naturally into a large number of simple subgoals. This theorem reduces proving the correctness of a given pipelined implementation of the ISA to verifying that each of...
متن کاملThe Build / Comprehend Pipelines
Large software systems often have complex subparts and complex build processes, and engage in subtle relationships with the underlying technologies from which they are designed and constructed. Most reverse engineering toolkits ignore the attributes and relationships of system construction; instead, they concentrate on static relationships among externally visible source code elements. This pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Anaesthesia
سال: 2007
ISSN: 0003-2409,1365-2044
DOI: 10.1111/j.1365-2044.1993.tb06862.x